TSTP Solution File: DAT206^1 by SInE---0.4